The 2-type model structure on the category of bicategories