Conjectural asymptotics of prime orders of points on elliptic curves over number fields