Essential dimension in algebra