Univalent Categories of Modules