Mining revenue increases 25% in the 1st quarter