How much has the semiconductor shortage cost?