Galaxy S5 mini to be called the Galaxy S5 Dx, will launch with several colour options