Guaranteed passive balancing transformations for model order reduction