Bicategories in Univalent Foundations