exploratory tympanotomy