ONGC appoints Arun Kumar Singh as chairman and managing director