Approximation Algorithms for Mixed Integer Non-Linear Optimization Problems