Galaxy Entertainment Q1 revenue climbs 11% to HKD 12.4 billion