Maximal Function Methods for Sobolev Spaces