Weighing "el Gordo" with a precision scale: Hubble Space Telescope weak-lensing analysis of the merging galaxy cluster ACT-CL J0102-4915 at z = 0.87