COSTA: COSt and Termination Analyzer for Java Bytecode