Text this: Novel use of intravascular lithotripsy for vertebral artery stenosis: A case report