Introducing a priority operator to CCS