The Discrete Basis Problem