SOLpro: accurate sequence-based prediction of protein solubility | Synapse