Which prophet, known for being taken up to heaven in a whirlwind, also prophesied the coming of a prophet before the 'great and terrible day of the Lord,' often associated with John the Baptist?