Empire city casino bought by mgm