How Synchronisation Strategy Approximation in PEPA Implementations Affects Passage Time Performance Results