Minimum Spanning Trees with neighborhoods: Mathematical programming formulations and solution methods