Traditional kriging versus modern Gaussian processes for large‐scale mining data | Synapse