Synchronous Kleene algebra