Similar Items: Amortised Resource Analysis with Separation Logic