A Study of a Positive Fragment of Path Queries: Expressiveness, Normal Form, and Minimization