Shoving incident in Singapore over man patting girl’s head stirs heated debate