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