Rotating horizontal convection