Sequencing of polypeptides