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