The double choir of Glasgow cathedral a study of rib vaulting