A Progressive Reprocessing Transaction Model for Updating Spatial Data in Mobile Computing Environments