A High Resolution Displacement Measurement System Based on Time-to-Digital Converter