D-finiteness: algorithms and applications