Analysis and Simulation of Contact Problems