Notions and applications of algorithmic randomness