Riverbed buys Mazu Networks for $25M cash