A ‘Darboux theorem’ for shifted symplectic structures on derived Artin stacks, with applications