Displacement Amplifier Design for an Extensometer in High Temperature Deformation Monitoring