Helping law enforcement crackdown on illegal mining with HDXRF