hadamards maximum determinant problem