Contact-Aided State Estimation on Lie Groups for Legged Robot Mapping and Control