Large-scale analysis of relationships between mineral dust, ice cloud properties and precipitation from satellite observations using a Bayesian approach: Theoretical basis and first results for the tropical Atlantic Ocean