spans in 2-categories