High Accuracy ab Initio Calculations on Reactions of OH with 1-Alkenes. The Case of Propene.