“navigation property ef core annotation”