Можете объяснить, что такое хранимая процедура в SQL, и как она используется?