Finite-Time Control of Linear Systems: A Survey