Uncertainty-Aware Performance Prediction for Highly Configurable Software Systems via Bayesian Neural Networks