how hard does batman punch