a mandolin is for a musician to use