Punjab announces public holiday in Lahore district