Admissible Abstractions for Near-optimal Task and Motion Planning