Finite element modeling of fixture–workpiece contacts: single contact modeling and experimental verification