What are some useful tips to a foreigner buying a house in Singapore?