‘Hard reality’: High Court upholds partial demolition of Ujjain mosque for Kumbh