How many professional degree college students were in Oklahoma in 2007?