Proceedings on the Workshop on Gujarat Earthquake Experiences: Earthquake Disaster Mitigation -- Future Needs and Challenges Research