Leader-follower formation control of under actuated autonomous underwater vehicles