Mathematical Heritage of Sergey Naboko: Functional Models of Non-Self-Adjoint Operators