Singapore crosses record 3 billion gross tonnage mark in ship arrivals