How many strings does the typical mandolin have?