cuanto mide un codo en pulgadas