hdm: High-Dimensional Metrics