Smart city planning and the challenges of informality in India