Optimal control problems with control complementarity constraints: existence results, optimality conditions, and a penalty method. (2nd January 2020)