Add State machine diagram to README