What is the difference between HTTP PUT and PATCH requests? When would you use one over the other?