Update: HTC One Mini “will go on sale by August,” a few more specs revealed