Semidefinite approximations for quadratic programs over orthogonal matrices