mining industry of drilling equipment in singapore