How many binary digits are equivalent to one hexadecimal digit?