Brazil’s industrial output rises in May but below estimates