The resolvent average : an expansive analysis of firmly nonexpansive mappings and maximally monotone operators