Decorative muqarnas vaulting in the iwan entrance to the Shah Mosque in Isfahan