十进制转换为二进制的公式是什么