Novelty Heuristics, Multi-Queue Search, and Portfolios for Numeric Planning