An implementation of the N-Queens problem using Integer Programming