An Investigation into Mathematical Programming for Finite Horizon Decentralized POMDPs