Computational and experimental studies of compressible dynamic stall