Scheduling Optimisations for SPIN to Minimise Buffer Requirements in Synchronous Data Flow