are gratuities paid by mining companies