Объясните, что такое проверяемые исключения и как они используются в программировании