Cloud Computing in the Mining Domain.