Samsung receives $4.7 billion award, but that’s nearly $2 billion less than earlier promise