Marin Software raises $11.2M for search advertising tools