Environmental adaptive sampling for mobile sensor networks using Gaussian processes