The discharge of the pipelines supplying public fountains in Roman Pompeii