An expressiveness study of priority in process calculi