TAP Portugal selects PROS to synchronise pricing