What is a sequence diagram?