Final objects in 2-categories