Which mandolin was preferred for formal performances and recordings