WORAL: A Witness Oriented Secure Location Provenance Framework for Mobile Devices