Vitalsource Technologies, Inc. A Posteriori Error Estimation Techniques For Finite Element Methods