Sekwencjonowanie długich łańcuchów peptydowych z wykorzystaniem wielu proteaz - algorytm Tabu Search