Convertir de binario a decimal PHP