Faculti: Stable Matching in Large Markets with Occupational Choice