Garcia S. Operator Theory by Example 2023