On maximum-likelihood decoding of polar codes