A model for temperature variations in sedimentary basins due to random radiogenic heat sources