Precise positioning of blasthole drills and mining shovels using GPS | IEEE Conference Publication | IEEE Xplore