Layer Adaptive Node Selection in Bayesian Neural Networks: Statistical Guarantees and Implementation Details