John Searle (1932-2025): His contributions to the philosophy of the mind and language are towering