Which mandolin wasn't preferred for formal performances and recordings