Theoretical study of the complex reaction of O(3P) with cis-2-butene