Ceiling fan rotation