Graph Grammar-Based Automatic Design for Heterogeneous Fleets of Underwater Robots