Accelerator-quality HTS dipole magnet demonstrator designs for the EuCARD-2 5-T 40-mm clear aperture magnet