Finite-time formation control for first-ordermulti-agent systemswith region constraints