what is the enrollment at university of miami