Distributed Mission Planning of Complex Tasks for Heterogeneous Multi-Robot Teams