Gravar-mail: UAV formation control design with obstacle avoidance in dynamic three-dimensional environment