Utilization of rock caverns in the Bukit Timah granite for civil defence purposes