rudiments of mining engineering books pdf