Algorithmic High-Frequency Market Liquidity Provision