Developing a cyclist typology: A mixed-methods study at the University of Lagos campus | Synapse