Molecular strategies to enhance stability and catalysis of extremophile-derived α-amylase using computational biology