Prefusion spike protein stabilization through computational mutagenesis