Robbery on DevOps: Understanding and Mitigating Illicit Cryptomining on Continuous Integration Service Platforms