Trade and infrastructure in the Belt and Road Initiative: a gravity analysis based on revealed trade preferences