Stereochemistry of the enantioselective reductive alkylation of proline with ketones