Royal Botanic Gardens: is it worth visiting? What to do in Kandy, Sri Lanka?