On the Hardness of Eliminating Cheating Behavior in Time Synchronization Protocols for Sensor Networks