Ship arrivals, container volume and bunker sales at Singapore’s port hit record highs in 2023