Gravar-mail: Tableau-based protein substructure search using quadratic programming