Nokia en Amazon stoppen lopende rechtszaken tegen elkaar na patentendeal