Singapore gaming revenues hit $5.85 billion in 2012