Neural Network Observer-Based Finite-Time Formation Control of Mobile Robots