Visualization of the Constrained Coverage of Mobile Sensor Networks Based on GML