Mailbox Types for Unordered Interactions