Mount Sinai Hospital Uses Integer Programming to Allocate Operating Room Time | Synapse