Samsung Galaxy S4 Mini now official, 4G, 1.7GHz dual-core processor, release date still forthcoming