ASDF: A Differential Testing Framework for Automatic Speech Recognition Systems