Dinsar technique for retrieving the volume of volcanic materials erupted by Merapi volcano | IEEE Conference Publication | IEEE Xplore