A Core Calculus for XQuery 3.0: Combining Navigational and Pattern Matching Approaches