十进制转二进制取余法公式是什么