Gravar-mail: Native protein sequences are close to optimal for their structures