Humayun’s Tomb: a historic restoration in New Delhi