Finished implementation of MiningAgent and LavaProductionAgent