Text this: Web Services, Formal Methods, and Behavioral Types