HTC anuncia oficialmente el HTC One mini, una versión de tamaño y prestaciones reducidas del HTC One