A bioinformatics study of protein folding, aggregation and disease