Approximation techniques for mixed-integer quadratic programs