Integer Optimization of CT Trajectories using a Discrete Data Completeness Formulation