Biclustering via optimal re-ordering of data matrices in systems biology: rigorous methods and comparative studies