Macau gaming revenues up 13.5 percent in May