Samsung Galaxy S10 Lite, S10 Edge y S10 Plus: nombres oficiales