Leader–follower formation control of nonholonomic mobile robots with input constraints