Probabilistic Estimation of the Gas Source Location in Indoor Environments by Combining Gas and Wind Observations