On the Expressiveness and Decidability of Higher-Order Process Calculi