¿Es mi sistema operativo de 32 o de 64 bits? ¿Cómo puedo saberlo y cuáles son las diferencias?