The variation of export prices across and within firms