Performance Comparison of a Probabilistic Fingerprint-based Indoor Positioning System over Different Smartphones