Locality principles in syntax