Workpiece height sensor