Programming for quantum computers